Ptah: Validation Driven Software Development
نویسنده
چکیده
We describe the motivation and concepts of a validation driven software development process (PTAH). It extends the use-case driven approach defined by Jacobsen et al. (1992) and the unified process described by Jacobsen et al. (1999) by actively integrating end users into the requirements specification and its direct evaluation. Our experience in software projects clearly shows that even graphical requirements specification languages are not adequate for end-users to actively describe formal system requirements. Therefore, we present use cases and scenarios as functional prototypes (simulations of the system) and let users manipulate, critique, configure, annotate and enhance those prototypes. In order to empower end-users to develop and enhance prototypes our software development environment comprises tools for constructivist cooperative learning, visual programming based on scenario prototype components and parsers and generators to automatically build functional prototypes from formal usage scenario descriptions. From these programs and protocols of their experimental application formal (e.g. UML) specifications and test cases can automatically be derived to frame the following phases of software design and implementation.
منابع مشابه
Towards Test-Driven and Architecture Model-Based Security and Resilience Engineering
The quality of software systems depends strongly on their architecture. For this reason, taking into account non-functional requirements at architecture level is crucial for the success of the software development process. Early architecture model validation facilitates the detection and correction of design errors. In this research, the authors are interested in security critical systems, whic...
متن کاملTowards an Innovative Validation-Driven Approach to Lean Product Development
Many software products contain unnecessary functionality. Industrial reports show 45% of the features in analyzed software products are never used. Software-centric organizations have been trying to sustain their competitive advantage by re-defining their product development strategy. Recent attempts to re-strategize the product development process tend towards customer-centric approaches. We p...
متن کاملTesting-Based Conceptual Schema Validation in a Model-Driven Environment
In Model-Driven Development, the main artefacts are conceptual schemas, and efforts are focused on their creation, testing and evolution at different levels of abstraction through transformations. If a conceptual schema has defects, these are passed on to the following stages, including coding. Therefore, techniques for improving the quality of conceptual schemas must be implemented to assure t...
متن کاملAutomated Recognition of Low-Level Process: A Pilot Validation Study of Zorro for Test-Driven Development
Zorro is a system designed to automatically determine whether a developer is complying with the Test-Driven Development (TDD) process. Automated recognition of TDD could benefit the software engineering community in a variety of ways, from pedagogical aids to support the learning of test-driven design, to support for more rigorous empirical studies on the effectiveness of TDD in practice. This ...
متن کاملThe Drawbacks of model - driven Software
This short paper is an essay on the drawbacks of model driven software evolution which apply equally well to model driven software development. The idea of automatically generating code changes from a UML type model is equally enticing as that of automatically generating whole components from such a model. The drawback is that there is then nothing to test against, since there is only one descr...
متن کامل